High-level effect handlers in C++

نویسندگان

چکیده

Effect handlers allow the programmer to implement computational effects, such as custom error handling, various forms of lightweight concurrency, and dynamic binding, inside programming language. We introduce cpp-effects, a C++ library for effect with typed high-level, object-oriented interface. demonstrate that can be successfully applied in imperative systems languages manual memory management. Through collection examples, we explore how program effectively C++, discuss intricacies challenges implementation, show despite its limitations, cpp-effects performance is competitive some cases even outperforms state-of-the-art approaches C++20 coroutines libmprompt multiprompt delimited control.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The effect of vitamin C supplementation on blood cholesterol level in high cholesterol-fed rats

سابقه و هدف: هیپرکلسترولمی یکی از فاکتورهای خطر بیماری‌های قلبی ـ عروقی است و افزایش کلسترول خون سلامت عمومی را تحت تاثیر قرار داده و میزان مرگ‌ و میر ناشی از بیماری‌های قلبی ـ عروقی را افزایش می‌دهد. تغذیه با رژیم پرکلسترول باعث افزایش میزان LDL و همچنین کاهش فعالیت گیرنده‌های LDL در کبد می‌شود. اکسیداسیون لیپوپروتئین موجود در دیواره عروق، باعث پیشرفت بیماری آتروسکلروز می‌شود. شواهد چندی حاکی ...

متن کامل

Effect of High Light Level on Sperm parameters in Mice

Background and aims: High light level of natural or artificial sources in some workplaces may be considered as a hazardous physical agent. The present study aimed to assess the effect of light level of 1000 lux on sperm parameters  in mice.   Methods: The subjects were assessed in two group including 1. Exposed (n= 6; exposed to light level of 1000 lux during 5 eight-hour days), 2. Unexposed ...

متن کامل

High-Level Nondeterministic Abstractions in C++

This paper presents high-level abstractions for nondeterministic search in C++ which provide the counterpart to advanced features found in recent constraint languages. The abstractions have several benefits: they explicitly highlight the nondeterministic nature of the code, provide a natural iterative style, simplify debugging, and are efficiently implementable using macros and continuations. T...

متن کامل

Continuation Passing Style for Effect Handlers

We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar’s effect handlers with Hillerström and Lindley’s row-typed fine-grain call-by-value calculus of effect handlers as the source language. CPS translations of handlers are interesting theoretically, to explain the semantics of handlers, and also offer a practical implementation technique that does not require special ...

متن کامل

Fusion for Free - Efficient Algebraic Effect Handlers

Algebraic effect handlers are a recently popular approach for modelling side-effects that separates the syntax and semantics of effectful operations. The shape of syntax is captured by functors, and free monads over these functors denote syntax trees. The semantics is captured by algebras, and effect handlers pass these over the syntax trees to interpret them into a semantic domain. This approa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on programming languages

سال: 2022

ISSN: ['2475-1421']

DOI: https://doi.org/10.1145/3563445